Intensional Polymorphism in Type-Erasure Semantics